Metaphor and Metalanguage

A Cumulative Monadic Metalanguage

We introduce a monadic metalanguage which combines two previously proposed monadic metalanguages: one for staging and the other for value recursion. The metalanguage includes also extensible records as a basic name management facility.

The Metalanguage λProlog and Its Implementation

Patterns for Maude Metalanguage Applications

One of the most effective ways of improving the quality of software engineering, system design and development, and communication between the people concerned with these problems, is provided by software patterns. In this paper we present a set of basic patterns for Maude metalanguage applications. We show the viability of the defined patterns by comparing them to the developing approaches for ...

A Tiny Specification Metalanguage

A logic programming language with potential software engineering benefit is described. The language is intended as a specification language where the user specifies software functionality while ignoring efficiency. The goals of the language are: (1) a pure specification language – “what, not how”, (2) small size, and (3) a metalanguage – able to imitate and thus subsume other languages. The lan...

An Ontology-Based Metalanguage with Explicit Instantiation

Syntax Tree instanceOf